$\forall$$b$:$\mathbb{B}$. b2i($b$) $\in$ $\mathbb{Z}$